data JustType a = Just a